Tobias Nipkow; "Social Choice Theory in HOL"
https://scrapbox.io/files/64f9af4e60df04001c2b65a2.pdf
Tobias Nipkow
Arrowの不可能性定理
，
Gibbard–Satterthwaiteの定理
を
HOL
で形式化する
#社会選択理論の形式化